Formatting Large Text File with Python